$\forall$$T$:Type, $L$:$T$ List, $x$:$T$. no\_repeats($T$;$L$) $\Rightarrow$ ($x$ $\in$ $L$) $\Rightarrow$ ($x$ $\in$! $L$)